Forma lógica — Saltar a navegación, búsqueda La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones… … Wikipedia Español
Lógica cableada — o Lógica de contactos, es una forma de realizar controles, en la que el tratamiento de datos (botonería, fines de carrera, sensores, presóstatos, etc.), se efectúa en conjunto con contactores o relés auxiliares, frecuentemente asociados a… … Wikipedia Español
Lógica programada — Logica programada es lo contrario de la lógica cableada, es decir, este tipo de diseño permite utilizar un circuito o un proyecto para muchas otras funciones con el simple cambio del software que incorpora. La lógica programada se basa en… … Wikipedia Español
Lógica paraconsistente — Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos… … Wikipedia Español
Forma normal de dominio/clave — Saltar a navegación, búsqueda La forma normal de dominio/clave (DKNF) es una forma normal usada en normalización de bases de datos que requiere que la base de datos contenga restricciones de dominios y de claves. Una restriccion del dominio… … Wikipedia Español
Forma canónica conjuntiva — Saltar a navegación, búsqueda Se entiende por forma canónica conjuntiva la expresión algebraica normalizada de una función lógica obtenida como el producto de todos los Maxterms para los que la expresión algebraica ha de valer 0. También se… … Wikipedia Español
Forma canónica disyuntiva — Saltar a navegación, búsqueda Se entiende por forma canónica disyuntiva la expresión algebraica normalizada de una función lógica obtenida como la suma de todos los minterms para los que la expresión algebraica ha de valer 1. También se denomina… … Wikipedia Español
Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… … Wikipedia Español
Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de … Wikipedia Español
Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… … Wikipedia Español
Lógica de descripción — Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominio de… … Wikipedia Español